indiscrete pseudometric space

密着伪度量空间